Assumptions: cocartesian coclosed, self-dual
Conclusions: cartesian closed
Reason: This holds by self-duality.